Enabling Snap-Stabilization
نویسندگان
چکیده
A snap-stabilizing protocol guarantees that the system always behaves according to its specification provided some processor initiated the protocol. We present how to snap-stabilize some important protocols, like Leader Election, Reset, Snapshot, and Termination Detection. We use a Snap-stabilizing Propagation of Information with Feedback protocol for arbitrary networks as the key module in the above transformation process. Finally, we design a universal transformer to provide a snap-stabilizing version of any protocol (which can be self-stabilized with the transformer of [15]).
منابع مشابه
Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
Scientific Context. Modern networks are very large-scale (about 100 000 nodes). Now, the more a network contains nodes, the greater the probability of failures is. Hence, today fault-tolerance is a main concern for distributed algorithm designers. In particular, since several decades, there is a growing interest for self-repairing methods. For example, (deterministic) self-stabilization [Dij74]...
متن کاملSnap-Stabilization in Message-Passing Systems Brief Announcement
In this announcement, we report recent results [4] (available at http://arxiv.org/abs/0802. 1123) where we address the open problem of snap-stabilization in message-passing systems. The concept of snap-stabilization [3] offers an attractive approach to transient fault tolerance. As soon as such fault ends a snap-stabilizing protocol immediately operates correctly. Of course, not all safety pred...
متن کاملThe expressive power of snap-stabilization
A snap-stabilizing algorithm, regardless of the initial configuration of the system, guarantees that it always behaves according to its specification. We consider here the locally shared memory model. In this model, we propose the first snap-stabilizing Propagation of Information with Feedback (PIF) algorithm for rooted networks of arbitrary connected topology which is proven assuming the distr...
متن کاملOn Probabilistic Snap-Stabilization
In this paper, we introduce probabilistic snap-stabilization. We relax the definition of deterministic snap-stabilization without compromising its safety guarantees. In an unsafe environment, a probabilistically snap-stabilizing algorithm satisfies its safety property immediately after the last fault; whereas its liveness property is only ensured with probability 1. We show that probabilistic s...
متن کاملBrief Annoucement: Snap-Stabilization in Message-Passing Systems
In this announcement, we report recent results where we address the open problem of snap-stabilization in messagepassing systems. (A full version of this paper is available as [3] at http://arxiv.org/abs/0802.1123.)
متن کامل